4

Answer set programming at a glance

Year:
2011
Language:
english
File:
PDF, 4.04 MB
english, 2011
6

Decomposition of large uniform hypergraphs

Year:
1985
Language:
english
File:
PDF, 294 KB
english, 1985
8

Minimal knowledge problem: A new approach

Year:
1994
Language:
english
File:
PDF, 1.79 MB
english, 1994
11

Computing with default logic

Year:
1999
Language:
english
File:
PDF, 508 KB
english, 1999
12

Jump number problem: The role of matroids

Year:
1985
Language:
english
File:
PDF, 422 KB
english, 1985
13

Modal logic for default reasoning

Year:
1990
Language:
english
File:
PDF, 1.93 MB
english, 1990
15

Uniform semantic treatment of default and autoepistemic logics

Year:
2003
Language:
english
File:
PDF, 357 KB
english, 2003
18

Autoepistemic logic

Year:
1991
Language:
english
File:
PDF, 2.17 MB
english, 1991
19

Fixed-parameter complexity of semantics for logic programs

Year:
2003
Language:
english
File:
PDF, 260 KB
english, 2003
22

GRACEFUL UNICYCLIC GRAPHS

Year:
1984
Language:
english
File:
PDF, 642 KB
english, 1984
24

Asymptotic results on saturated graphs

Year:
1991
Language:
english
File:
PDF, 449 KB
english, 1991
25

Primal graphs with small degrees

Year:
1991
Language:
english
File:
PDF, 746 KB
english, 1991
26

Decompositions of graphs into forests with bounded maximum degree

Year:
1991
Language:
english
File:
PDF, 995 KB
english, 1991
27

Decompositions of regular bipartite graphs

Year:
1991
Language:
english
File:
PDF, 692 KB
english, 1991
29

Generalized local colorings of graphs

Year:
1992
Language:
english
File:
PDF, 649 KB
english, 1992
30

On the number of minimal transversals in 3-uniform hypergraphs

Year:
2008
Language:
english
File:
PDF, 254 KB
english, 2008
31

Annotated revision programs

Year:
2002
Language:
english
File:
PDF, 256 KB
english, 2002
32

Note on the decomposition of λKm,n (λKm,n*) into paths

Year:
1985
Language:
english
File:
PDF, 450 KB
english, 1985
33

A note on local colorings of graphs

Year:
1997
Language:
english
File:
PDF, 223 KB
english, 1997
34

Revision programming

Year:
1998
Language:
english
File:
PDF, 2.50 MB
english, 1998
37

Linear upper bounds for local Ramsey numbers

Year:
1987
Language:
english
File:
PDF, 486 KB
english, 1987
38

The tree number of a graph with a given girth

Year:
1988
Language:
english
File:
PDF, 796 KB
english, 1988
39

Book reviews

Year:
1983
Language:
english
File:
PDF, 297 KB
english, 1983
41

My six encounters with Victor Marek—a personal account

Year:
2008
Language:
english
File:
PDF, 152 KB
english, 2008
43

Preface

Year:
2008
Language:
english
File:
PDF, 137 KB
english, 2008
45

On graph equivalences preserved under extensions

Year:
2011
Language:
english
File:
PDF, 304 KB
english, 2011
47

Representation theory for default logic

Year:
1997
Language:
english
File:
PDF, 393 KB
english, 1997
48

Once more on storage for consecutive retrieval

Year:
1980
Language:
english
File:
PDF, 507 KB
english, 1980